454412e965b436683e7769a90c605acfa47a28d1,src/main/java/org/basex/index/ft/FTIndex.java,FTIndex,iter,#number#number#DataAccess#,386

Before Change


    da.cursor(off);
    final IntList vals = new IntList();
    for(int c = 0, lp = 0; c < size;) {
      if(lp == 0) {
        if(scm > 0) vals.add(da.readNum());
        lp = da.readNum();
        vals.add(lp);
      }

After Change


   */
  private FTIndexIterator iter(final long off, final int size, final DataAccess da) {
    da.cursor(off);
    final int sc = scm > 0 ? da.readNum() : 0;
    final IntList pr = new IntList(size);
    final IntList ps = new IntList(size);
    for(int c = 0; c < size; c++) {